2025-10-07 Dynamics
Values
Our programs will compute and return a single value. 
Values are closed expressions.
Transitions
We are going to use operational semantics. Our transition system will consist of rules:
- closed terms = states
- instruction transitions - perform computation
- search transitions - determine evaluation order
Multi-Step Transitions
Reflexive transitive closure of
